41. Hardware and software: verification and testin
Author: / Sharon Barner ... [et al.] (Eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer software, Verification, Congresses,Electronic books
Classification :
QA76
.
76
.
V47
,
I58
,
2011eb
42. Hardware and software, verification and testing
Author: / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Computer programs--Verification--Congresses,Integrated circuits--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2006
43. Hardware and software, verification and testing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
44. Languages, Design Methods, and Tools for Electronic System Design
Author: \ Franco Fummi, Robert Wille, Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگرهها
Classification :
E-Book
,
45. Languages, design methods, and tools for electronic system design.
Author: \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
L325
2016
E-Book
,
46. Leveraging applications of formal methods, verification and validation :
Author: Tiziana Margaria, Bernhard Steffen (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
Classification :
QA76
.
9
.
F67
47. Leveraging applications of formal methods, verification, and validation
Author: Reiner Hähnle ... [and 4 others] (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.
48. Model Checking Software
Author: \ Bernd Fischer, Jaco Geldenhuys (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47
I58
2015
E-Book
,
49. Model Checking and Artificial Intelligence
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Artificial intelligence ; Congresses. ; K?nstliche Intelligenz ; Model Checking ; Kongress ; Patras <2008> ; Model Checking. ; swd. ;
50. Model Checking and Artificial Intelligence
Author: / Doron A. Peled, Michael J. Wooldrige (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Artificial intelligence--Congresses,Keunstliche Intelligenz--Model Checking--Kongress--Patras <2008>,Model Checking.--swd,Kongress.--swd
Classification :
QA
,
76
.
76
,.
V47
,
M63
,
2008
51. Model checking and artificial intelligence :
Author: Ron van der Meyden, Jan-Georg Smaus (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses
Classification :
QA76
.
76
.
V47
M63
2011
52. Model checking softwar
Author: Alex Groce, Madanlal Musuvathi (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: SPIN (Computer file), Congresses,Computer software, Verification, Congresses
Classification :
QA
،
76
.
76
،.
V47
53. Model checking software
Author: Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: SPIN (Computer file),Computer software-- Verification, Congresses
54. Model checking software :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
55. Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
Author: Susanne Graf, Laurent Mounier )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
Classification :
QA
76
.
L28
Vol
.
2989
56. Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Author: Dragan Bosnacki, Stefan Leue ]eds.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
Classification :
QA
76
.
L28
Vol
.
2318
57. Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Author: Thomas Ball, Sriram K. Rajamani )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
Classification :
QA
76
.
L28
Vol
.
2648
58. Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
Author: Patrice Godefroid )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
Classification :
QA
76
.
L28
Vol
.
3639
59. Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
Author: Matthew Dwyer )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
Classification :
QA
76
.
L28
Vol
.
2057
60. NASA formal methods :
Author: Alwyn E. Goodloe, Suzette Person (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,Fault-tolerant computing, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.
Classification :
QA76
.
9
.
F67
N46
2012eb
